Buy Used and New Fernando Orejas Books

Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... 785 (Lecture Notes in Computer Science)

by Hartmut Ehrig, Fernando Orejas

ISBN 13: 9783540578673

Format: Paperback (350 pages)
Publisher: Springer
Published: 28 Apr 1994

Save for later

Algebraic System Specification and Development: A Survey and Annotated Bibliography: 501 (Lecture Notes in Computer Science)

by Fernando Orejas,Michel Bidoit,Hans-J??rg Kreowski,Donald Sannella,Pierre Lescanne

ISBN 13: 9783540540601

Format: Paperback (112 pages)
Publisher: Springer
Published: 26 Jun 1991

Save for later

Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday: 3393 (Lecture Notes in Computer Science)

by Ugo Montanari, Gabriele Taentzer, Fernando Orejas, Grzegorz Rozenberg, Hans-Jörg Kreowski

ISBN 13: 9783540249368

Format: Paperback (448 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings: 534 (Lecture Notes in Computer Science)

by Hartmut Ehrig,Fernando Orejas,Horst Reichel,Klaus P. Jantke

ISBN 13: 9783540544968

Format: Paperback (392 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers: 3423 (Lecture Notes in Computer Science)

by Fernando Orejas,Luiz Fiadeiro,Peter Mosses

ISBN 13: 9783540253273

Format: Paperback (288 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989: ... 351 (Lecture Notes in Computer Science)

by Fernando Orejas,Josep Diaz

ISBN 13: 9783540509394

Format: Paperback (408 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989: ... 352 (Lecture Notes in Computer Science)

by Fernando Orejas, Josep Diaz

ISBN 13: 9783540509400

Format: Paperback (404 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings: 2076 (Lecture Notes in Computer Science)

by Fernando Orejas,Paul G. Spirakis,Jan van Leeuwen

ISBN 13: 9783540422877

Format: Paperback (1104 pages)
Publisher: Springer
Published: 27 Jun 2001

Save for later

Graph Transformation: 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings: 11629 (Lecture Notes in Computer Science)

by Esther Guerra, Fernando Orejas

ISBN 13: 9783030236106

Format: Paperback (244 pages)
Publisher: Springer
Published: 25 Jun 2019

Save for later